4

Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories

Year:
2014
Language:
english
File:
PDF, 357 KB
english, 2014
7

Modal Logic and Self-Reference.

Year:
1989
Language:
english
File:
PDF, 105 KB
english, 1989
9

ON A QUESTION OF KRAJEWSKI’S

Year:
2019
Language:
english
File:
PDF, 224 KB
english, 2019
10

A course on bimodal provability logic

Year:
1995
Language:
english
File:
PDF, 2.58 MB
english, 1995
11

On the ambiguation of Polish notation

Year:
2011
Language:
english
File:
PDF, 260 KB
english, 2011
17

Dynamic Negation, the One and Only

Year:
1999
Language:
english
File:
PDF, 34 KB
english, 1999
18

A Tractarian Universe

Year:
2012
Language:
english
File:
PDF, 505 KB
english, 2012
20

Predicate Logics of Constructive Arithmetical Theories

Year:
2006
Language:
english
File:
PDF, 1.20 MB
english, 2006
23

VAUGHT'S THEOREM ON AXIOMATIZABILITY BY A SCHEME

Year:
2012
Language:
english
File:
PDF, 1.40 MB
english, 2012
25

Predicate Logics of Constructive Arithmetical Theories

Year:
2006
Language:
english
File:
PDF, 1.00 MB
english, 2006
30

Provability Logic || Explicit Fixed Points in Interpretability Logic

Year:
1991
Language:
english
File:
PDF, 1.00 MB
english, 1991
33

OnQ

Year:
2017
Language:
english
File:
PDF, 595 KB
english, 2017
34

Lewis meets Brouwer: Constructive strict implication

Year:
2017
Language:
english
File:
PDF, 1.55 MB
english, 2017
36

ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM

Year:
2019
Language:
english
File:
PDF, 718 KB
english, 2019